[INFO] fetching crate leo3 0.2.1...
[INFO] testing leo3-0.2.1 against master#1f7f8ea0721a3b1eb73e6c6d25cccb371434b320 for pr-154065-1
[INFO] extracting crate leo3 0.2.1 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate leo3 0.2.1
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate leo3 0.2.1
[INFO] tweaked toml for crates.io crate leo3 0.2.1 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate leo3 0.2.1 on toolchain 1f7f8ea0721a3b1eb73e6c6d25cccb371434b320
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate leo3 0.2.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded leo3-macros v0.2.1
[INFO] [stderr]   Downloaded criterion-plot v0.8.2
[INFO] [stderr]   Downloaded libloading v0.9.0
[INFO] [stderr]   Downloaded leo3-build-config v0.2.1
[INFO] [stderr]   Downloaded leo3-macros-backend v0.2.1
[INFO] [stderr]   Downloaded alloca v0.4.0
[INFO] [stderr]   Downloaded toml_parser v1.0.7+spec-1.1.0
[INFO] [stderr]   Downloaded leo3-ffi v0.2.1
[INFO] [stderr]   Downloaded toml v1.0.0+spec-1.1.0
[INFO] [stderr]   Downloaded criterion v0.8.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ea45047ed19042e6ed14e77fdd457fe281ce7959ff7e1acfb35cba8324cb298b
[INFO] running `Command { std: "docker" "start" "-a" "ea45047ed19042e6ed14e77fdd457fe281ce7959ff7e1acfb35cba8324cb298b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ea45047ed19042e6ed14e77fdd457fe281ce7959ff7e1acfb35cba8324cb298b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ea45047ed19042e6ed14e77fdd457fe281ce7959ff7e1acfb35cba8324cb298b", kill_on_drop: false }`
[INFO] [stdout] ea45047ed19042e6ed14e77fdd457fe281ce7959ff7e1acfb35cba8324cb298b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 382205c4ea06bc7f105b0f803c712a8468299578a5048f609e00c11fc67eb774
[INFO] running `Command { std: "docker" "start" "-a" "382205c4ea06bc7f105b0f803c712a8468299578a5048f609e00c11fc67eb774", kill_on_drop: false }`
[INFO] [stderr]    Compiling leo3-build-config v0.2.1
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling libloading v0.9.0
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling leo3-ffi v0.2.1
[INFO] [stderr]    Compiling leo3 v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr]    Compiling leo3-macros-backend v0.2.1
[INFO] [stderr]    Compiling leo3-macros v0.2.1
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.79s
[INFO] running `Command { std: "docker" "inspect" "382205c4ea06bc7f105b0f803c712a8468299578a5048f609e00c11fc67eb774", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "382205c4ea06bc7f105b0f803c712a8468299578a5048f609e00c11fc67eb774", kill_on_drop: false }`
[INFO] [stdout] 382205c4ea06bc7f105b0f803c712a8468299578a5048f609e00c11fc67eb774
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1f7f8ea0721a3b1eb73e6c6d25cccb371434b320" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 577ffc56a45602f71052be662abcbf7cdd0924ea8f88c6dd881c08325b34331f
[INFO] running `Command { std: "docker" "start" "-a" "577ffc56a45602f71052be662abcbf7cdd0924ea8f88c6dd881c08325b34331f", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling futures-sink v0.3.31
[INFO] [stderr]    Compiling cc v1.2.55
[INFO] [stderr]    Compiling futures-core v0.3.31
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling clap_lex v0.7.6
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling target-triple v1.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy-derive v0.8.31
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling futures-task v0.3.31
[INFO] [stderr]    Compiling toml_datetime v1.0.0+spec-1.1.0
[INFO] [stderr]    Compiling serde_spanned v1.0.4
[INFO] [stderr]    Compiling toml_writer v1.0.6+spec-1.1.0
[INFO] [stderr]    Compiling futures-channel v0.3.31
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling clap_builder v4.5.53
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling tokio v1.49.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling toml_parser v1.0.7+spec-1.1.0
[INFO] [stderr]    Compiling toml v1.0.0+spec-1.1.0
[INFO] [stderr]    Compiling clap v4.5.53
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling futures-executor v0.3.31
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling trybuild v1.0.116
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling futures v0.3.31
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling leo3 v0.2.1 (/opt/rustwide/workdir)
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcEaKWtU/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcEaKWtU/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_borrowed-addb5cb935df709b" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::string::LeanString> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcAu3UQx/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcAu3UQx/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_conversion_macros-22856562dc755304" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_conversion_macros-22856562dc755304.test_conversion_macros.72e36003af10dc8d-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::uint::LeanUInt64> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::array::LeanArray> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::bytearray::LeanByteArray> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 1 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_array_mk
[INFO] [stdout]           >>> referenced by array.rs:355 (src/types/array.rs:355)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_copy_expand_array
[INFO] [stdout]           >>> referenced by array.rs:362 (src/types/array.rs:362)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:366 (src/types/array.rs:366)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:175 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::array::lean_copy_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by inline.rs:1181 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_alloc_sarray) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:285 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:285)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::array::lean_alloc_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_internal_panic_out_of_memory
[INFO] [stdout]           >>> referenced by inline.rs:1202 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1202)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_mk_empty_byte_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_borrowed") due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcyUj5sT/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcyUj5sT/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/option_ops-ac98e87f9d324405" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::list::LeanList> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::option::LeanOption> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 2 more times
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "option_ops") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_conversion_macros") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcA8ATJa/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcA8ATJa/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bool_ops-3017ed3e352454eb" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::bool::LeanBool> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "bool_ops") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcS20LQ2/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcS20LQ2/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/list_ops-19063f74c5f73e15" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::types::list::LeanList>::length) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::types::list::LeanList>::length) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 3 more times
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "list_ops") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcgYLSe7/symbols.o" "<4 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcgYLSe7/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_io_promise_result_opt
[INFO] [stdout]           >>> referenced by promise.rs:198 (src/promise.rs:198)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.5bd6fd5b3a96dfd5-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::task)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_task_get
[INFO] [stdout]           >>> referenced by inline.rs:2915 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2915)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.5bd6fd5b3a96dfd5-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get_owned)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.5bd6fd5b3a96dfd5-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType>>::get_owned)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.5bd6fd5b3a96dfd5-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::task::LeanTaskType> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.5bd6fd5b3a96dfd5-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 8 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_promise_new
[INFO] [stdout]           >>> referenced by promise.rs:113 (src/promise.rs:113)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.5bd6fd5b3a96dfd5-cgu.2.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::new::{closure#0})
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_promise_resolve
[INFO] [stdout]           >>> referenced by promise.rs:160 (src/promise.rs:160)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_promise-a11f545659cd930c.test_promise.5bd6fd5b3a96dfd5-cgu.2.rcgu.o:(<leo3::instance::LeanBound<leo3::promise::LeanPromiseType>>::resolve::{closure#0})
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `leo3` (test "test_promise") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcqitpnt/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcqitpnt/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_proof_advanced-d491f3cd3d5692fe" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_proof_advanced-d491f3cd3d5692fe.test_proof_advanced.ac5503c73fb4a0a4-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::meta::declaration::LeanDeclaration> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::handle_except_result_raw) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 23 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_zero
[INFO] [stdout]           >>> referenced by level.rs:32 (src/meta/level.rs:32)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::meta::level::LeanLevel>::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_param
[INFO] [stdout]           >>> referenced by level.rs:139 (src/meta/level.rs:139)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::meta::level::LeanLevel>::param) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_environment_to_kernel_env
[INFO] [stdout]           >>> referenced by environment.rs:219 (src/meta/environment.rs:219)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_environment_find
[INFO] [stdout]           >>> referenced by environment.rs:224 (src/meta/environment.rs:224)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_empty_environment
[INFO] [stdout]           >>> referenced by environment.rs:175 (src/meta/environment.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_add_decl
[INFO] [stdout]           >>> referenced by environment.rs:319 (src/meta/environment.rs:319)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::add_decl::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_app
[INFO] [stdout]           >>> referenced by expr.rs:175 (src/meta/expr.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_bvar
[INFO] [stdout]           >>> referenced by expr.rs:59 (src/meta/expr.rs:59)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_sort
[INFO] [stdout]           >>> referenced by expr.rs:123 (src/meta/expr.rs:123)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_const
[INFO] [stdout]           >>> referenced by expr.rs:149 (src/meta/expr.rs:149)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::const_) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_forall
[INFO] [stdout]           >>> referenced by expr.rs:255 (src/meta/expr.rs:255)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_lambda
[INFO] [stdout]           >>> referenced by expr.rs:223 (src/meta/expr.rs:223)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: l_Std_HashSet_empty___rarg
[INFO] [stdout]           >>> referenced by hashset.rs:37 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/hashset.rs:37)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.09.rcgu.o:(leo3_ffi::hashset::lean_hashset_empty) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string_from_bytes
[INFO] [stdout]           >>> referenced by context.rs:183 (src/meta/context.rs:183)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::meta::context::CoreContext>::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by context.rs:378 (src/meta/context.rs:378)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::meta::context::CoreState>::mk_name_generator) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_array_push
[INFO] [stdout]           >>> referenced by context.rs:187 (src/meta/context.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::meta::context::CoreContext>::mk_empty_filemap) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcU3xti8/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcU3xti8/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/int_ops-c63a9a21d69da181" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::int::LeanInt> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.15.rcgu.o:(<leo3::instance::LeanBound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(<leo3::types::int::LeanInt>::neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_eq
[INFO] [stdout]           >>> referenced by inline.rs:992 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:992)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_eq) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_le
[INFO] [stdout]           >>> referenced by inline.rs:1005 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1005)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_le) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_lt
[INFO] [stdout]           >>> referenced by inline.rs:1018 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:1018)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_lt) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_add
[INFO] [stdout]           >>> referenced by inline.rs:795 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:795)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_add) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_div
[INFO] [stdout]           >>> referenced by inline.rs:851 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:851)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_div) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_mod
[INFO] [stdout]           >>> referenced by inline.rs:881 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:881)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_mul
[INFO] [stdout]           >>> referenced by inline.rs:821 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:821)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_mul) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_neg
[INFO] [stdout]           >>> referenced by inline.rs:759 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:759)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_neg) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_sub
[INFO] [stdout]           >>> referenced by inline.rs:808 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:808)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_sub) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_ediv
[INFO] [stdout]           >>> referenced by inline.rs:923 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:923)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_ediv) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_int_big_emod
[INFO] [stdout]           >>> referenced by inline.rs:979 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:979)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int_emod) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_size_t_to_int
[INFO] [stdout]           >>> referenced by inline.rs:742 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:742)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_nat_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_int64_to_int
[INFO] [stdout]           >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_proof_advanced") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "int_ops") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcPSySRH/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcPSySRH/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_error_boundaries-eb53dd92138ec4a4" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_error_boundaries-eb53dd92138ec4a4.test_error_boundaries.1a05585de67f1c8-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::meta::declaration::LeanDeclaration> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::handle_except_result_raw) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 23 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_zero
[INFO] [stdout]           >>> referenced by level.rs:52 (src/meta/level.rs:52)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::meta::level::LeanLevel>::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by level.rs:32 (src/meta/level.rs:32)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::meta::level::LeanLevel>::zero) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_succ
[INFO] [stdout]           >>> referenced by level.rs:56 (src/meta/level.rs:56)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::meta::level::LeanLevel>::one) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by level.rs:76 (src/meta/level.rs:76)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::meta::level::LeanLevel>::succ) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_add_decl_without_checking
[INFO] [stdout]           >>> referenced by environment.rs:364 (src/meta/environment.rs:364)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::add_decl_unchecked::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_environment_to_kernel_env
[INFO] [stdout]           >>> referenced by environment.rs:219 (src/meta/environment.rs:219)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_environment_find
[INFO] [stdout]           >>> referenced by environment.rs:224 (src/meta/environment.rs:224)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_empty_environment
[INFO] [stdout]           >>> referenced by environment.rs:175 (src/meta/environment.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_add_decl
[INFO] [stdout]           >>> referenced by environment.rs:319 (src/meta/environment.rs:319)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::add_decl::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_app
[INFO] [stdout]           >>> referenced by expr.rs:175 (src/meta/expr.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_bvar
[INFO] [stdout]           >>> referenced by expr.rs:59 (src/meta/expr.rs:59)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_sort
[INFO] [stdout]           >>> referenced by expr.rs:123 (src/meta/expr.rs:123)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_forall
[INFO] [stdout]           >>> referenced by expr.rs:255 (src/meta/expr.rs:255)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_lambda
[INFO] [stdout]           >>> referenced by expr.rs:223 (src/meta/expr.rs:223)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: l_Std_HashSet_empty___rarg
[INFO] [stdout]           >>> referenced by hashset.rs:37 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/hashset.rs:37)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.09.rcgu.o:(leo3_ffi::hashset::lean_hashset_empty) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustc3QFDS8/symbols.o" "<4 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustc3QFDS8/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/new_type_conversions-1d1870a12b7f2aca" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/new_type_conversions-1d1870a12b7f2aca.new_type_conversions.32f27369295656e1-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt8> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/new_type_conversions-1d1870a12b7f2aca.new_type_conversions.32f27369295656e1-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanISize> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/new_type_conversions-1d1870a12b7f2aca.new_type_conversions.32f27369295656e1-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt16> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 9 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_array_mk
[INFO] [stdout]           >>> referenced by array.rs:355 (src/types/array.rs:355)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_copy_expand_array
[INFO] [stdout]           >>> referenced by array.rs:362 (src/types/array.rs:362)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:366 (src/types/array.rs:366)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(<leo3::types::array::LeanArray>::with_capacity) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:175 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::array::lean_copy_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by array.rs:285 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/array.rs:285)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::array::lean_alloc_array) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcfb4QfB/symbols.o" "<7 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcfb4QfB/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_thread_safety-972a757939532e0a" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_mark_mt
[INFO] [stdout]           >>> referenced by unbound.rs:117 (src/unbound.rs:117)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_thread_safety-972a757939532e0a.test_thread_safety.58c5014552e6702b-cgu.3.rcgu.o:(<leo3::unbound::LeanUnbound<leo3::types::nat::LeanNat>>::from_owned_ptr)
[INFO] [stdout]           >>> referenced by unbound.rs:117 (src/unbound.rs:117)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_thread_safety-972a757939532e0a.test_thread_safety.58c5014552e6702b-cgu.3.rcgu.o:(<leo3::unbound::LeanUnbound<leo3::types::string::LeanString>>::from_owned_ptr)
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_thread_safety-972a757939532e0a.test_thread_safety.58c5014552e6702b-cgu.3.rcgu.o:(<leo3::unbound::LeanUnbound<leo3::types::nat::LeanNat> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_thread_safety-972a757939532e0a.test_thread_safety.58c5014552e6702b-cgu.3.rcgu.o:(<leo3::unbound::LeanUnbound<leo3::types::string::LeanString> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_thread_safety-972a757939532e0a.test_thread_safety.58c5014552e6702b-cgu.3.rcgu.o:(<leo3::unbound::LeanUnbound as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 3 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by sync.rs:51 (src/sync.rs:51)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.04.rcgu.o:(leo3::sync::ensure_lean_thread::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_thread_safety") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustclWNkHT/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustclWNkHT/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/meta_basic-9f11f2d1d620a78e" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/meta_basic-9f11f2d1d620a78e.meta_basic.3d5696f03fbc0c71-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::meta::declaration::LeanDeclaration> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::handle_except_result_raw) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced 19 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_add_decl_without_checking
[INFO] [stdout]           >>> referenced by environment.rs:364 (src/meta/environment.rs:364)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::add_decl_unchecked::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_environment_to_kernel_env
[INFO] [stdout]           >>> referenced by environment.rs:219 (src/meta/environment.rs:219)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_environment_find
[INFO] [stdout]           >>> referenced by environment.rs:224 (src/meta/environment.rs:224)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::find::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_empty_environment
[INFO] [stdout]           >>> referenced by environment.rs:175 (src/meta/environment.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::empty::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_elab_add_decl
[INFO] [stdout]           >>> referenced by environment.rs:319 (src/meta/environment.rs:319)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::environment::LeanEnvironment>::add_decl::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_binder_info
[INFO] [stdout]           >>> referenced by expr.rs:660 (src/meta/expr.rs:660)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lambda_info) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_dbg_to_string
[INFO] [stdout]           >>> referenced by expr.rs:1092 (src/meta/expr.rs:1092)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::dbg_to_string) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_has_loose_bvar
[INFO] [stdout]           >>> referenced by expr.rs:921 (src/meta/expr.rs:921)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::has_loose_bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_app
[INFO] [stdout]           >>> referenced by expr.rs:175 (src/meta/expr.rs:175)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::app) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_lit
[INFO] [stdout]           >>> referenced by expr.rs:352 (src/meta/expr.rs:352)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lit) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_bvar
[INFO] [stdout]           >>> referenced by expr.rs:59 (src/meta/expr.rs:59)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::bvar) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_sort
[INFO] [stdout]           >>> referenced by expr.rs:123 (src/meta/expr.rs:123)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::sort) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_forall
[INFO] [stdout]           >>> referenced by expr.rs:255 (src/meta/expr.rs:255)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::forall) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_mk_lambda
[INFO] [stdout]           >>> referenced by expr.rs:223 (src/meta/expr.rs:223)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::lambda) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_expr_eqv
[INFO] [stdout]           >>> referenced by expr.rs:1007 (src/meta/expr.rs:1007)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(<leo3::meta::expr::LeanExpr>::alpha_eqv) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_level_mk_max
[INFO] [stdout]           >>> referenced by level.rs:98 (src/meta/level.rs:98)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::meta::level::LeanLevel>::max) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_error_boundaries") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "new_type_conversions") due to 1 previous error
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "meta_basic") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcCzt2MU/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcCzt2MU/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/io_ops-c4bdc8b3b58be846" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "io_ops") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcNZmFpD/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcNZmFpD/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.49ae5b0439e418f4-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt8> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.49ae5b0439e418f4-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt16> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/type_conversions-273dbef12e474830.type_conversions.49ae5b0439e418f4-cgu.0.rcgu.o:(<leo3::instance::LeanBound<leo3::types::sint::LeanInt32> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 9 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_float_isinf
[INFO] [stdout]           >>> referenced by float.rs:147 (src/types/float.rs:147)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.04.rcgu.o:(<leo3::types::float::LeanFloat>::isInf) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_float_isnan
[INFO] [stdout]           >>> referenced by float.rs:117 (src/types/float.rs:117)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.04.rcgu.o:(<leo3::types::float::LeanFloat>::isNaN) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_uint8_of_big_nat
[INFO] [stdout]           >>> referenced by nat.rs:600 (src/types/nat.rs:600)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::nat::LeanNat>::toUInt8) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2221 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2221)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt8>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2221 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2221)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt8>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_uint16_of_big_nat
[INFO] [stdout]           >>> referenced by nat.rs:622 (src/types/nat.rs:622)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::nat::LeanNat>::toUInt16) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2235 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2235)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt16>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2235 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2235)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt16>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_uint32_of_big_nat
[INFO] [stdout]           >>> referenced by nat.rs:644 (src/types/nat.rs:644)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::nat::LeanNat>::toUInt32) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2249 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2249)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt32>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2249 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2249)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt32>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_uint64_of_big_nat
[INFO] [stdout]           >>> referenced by nat.rs:661 (src/types/nat.rs:661)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::nat::LeanNat>::toUInt64) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2267 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2267)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::sint::LeanInt64>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           >>> referenced by inline.rs:2267 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:2267)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(<leo3::types::uint::LeanUInt64>::ofNat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_size_t_to_int
[INFO] [stdout]           >>> referenced by inline.rs:742 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:742)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_nat_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_int64_to_int
[INFO] [stdout]           >>> referenced by inline.rs:693 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:693)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_int64_to_int) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_usize_of_big_nat
[INFO] [stdout]           >>> referenced by inline.rs:466 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:466)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_of_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_big_usize_to_nat
[INFO] [stdout]           >>> referenced by inline.rs:452 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:452)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.11.rcgu.o:(leo3_ffi::inline::lean_usize_to_nat) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "type_conversions") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/deps/rustcaxMuMN/symbols.o" "<3 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/deps/{libleo3-89f6ad12081a6bcc,liblibloading-25f44748b04c18dc,libcfg_if-5af52f617df93f8f,libleo3_ffi-08b3cc464f951157,liblibc-65ee1eb217d721f2}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-ldl" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/deps/rustcaxMuMN/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/target/debug/build/alloca-fd53fbec7e962863/out" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: undefined symbol: lean_alloc_object
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.149a05b1b7d7bc8f-cgu.1.rcgu.o:(leo3_ffi::lean_alloc_ctor)
[INFO] [stdout]           >>> referenced by lib.rs:421 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/lib.rs:421)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.13.rcgu.o:(leo3_ffi::lean_alloc_ctor) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_dec_ref_cold
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.149a05b1b7d7bc8f-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::uint::LeanUInt16> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.149a05b1b7d7bc8f-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::uint::LeanUInt32> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced by inline.rs:230 (/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/leo3-ffi-0.2.1/src/inline.rs:230)
[INFO] [stdout]           >>>               /opt/rustwide/target/debug/deps/test_derive_macros-a6544d8b695232aa.test_derive_macros.149a05b1b7d7bc8f-cgu.1.rcgu.o:(<leo3::instance::LeanBound<leo3::types::uint::LeanUInt64> as core::ops::drop::Drop>::drop)
[INFO] [stdout]           >>> referenced 5 more times
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_mk_string
[INFO] [stdout]           >>> referenced by string.rs:39 (src/types/string.rs:39)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.08.rcgu.o:(<leo3::types::string::LeanString>::mk) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_runtime_module
[INFO] [stdout]           >>> referenced by environment.rs:53 (src/meta/environment.rs:53)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_initialize_thread
[INFO] [stdout]           >>> referenced by environment.rs:54 (src/meta/environment.rs:54)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_init_task_manager
[INFO] [stdout]           >>> referenced by environment.rs:55 (src/meta/environment.rs:55)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.06.rcgu.o:(leo3::meta::environment::ensure_worker_initialized::{closure#0}::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Expr
[INFO] [stdout]           >>> referenced by mod.rs:157 (src/meta/mod.rs:157)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_expr_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Init_Prelude
[INFO] [stdout]           >>> referenced by mod.rs:137 (src/meta/mod.rs:137)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_prelude_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Environment
[INFO] [stdout]           >>> referenced by mod.rs:173 (src/meta/mod.rs:173)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: initialize_Lean_Meta
[INFO] [stdout]           >>> referenced by mod.rs:177 (src/meta/mod.rs:177)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_util_module()
[INFO] [stdout]           >>> referenced by mod.rs:181 (src/meta/mod.rs:181)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_kernel_module()
[INFO] [stdout]           >>> referenced by mod.rs:182 (src/meta/mod.rs:182)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::init_default_print_fn()
[INFO] [stdout]           >>> referenced by mod.rs:185 (src/meta/mod.rs:185)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_core_module()
[INFO] [stdout]           >>> referenced by mod.rs:186 (src/meta/mod.rs:186)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean::initialize_library_module()
[INFO] [stdout]           >>> referenced by mod.rs:187 (src/meta/mod.rs:187)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           
[INFO] [stdout]           rust-lld: error: undefined symbol: lean_io_mark_end_initialization
[INFO] [stdout]           >>> referenced by mod.rs:190 (src/meta/mod.rs:190)
[INFO] [stdout]           >>>               leo3-89f6ad12081a6bcc.leo3.47576179d3dfc6a5-cgu.12.rcgu.o:(leo3::meta::ensure_environment_initialized::{closure#0}) in archive /opt/rustwide/target/debug/deps/libleo3-89f6ad12081a6bcc.rlib
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: leo3@0.2.1: DEP_LEAN4_LEO3_CONFIG not set; leo3-ffi may not have detected Lean
[INFO] [stderr] error: could not compile `leo3` (test "test_derive_macros") due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "577ffc56a45602f71052be662abcbf7cdd0924ea8f88c6dd881c08325b34331f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "577ffc56a45602f71052be662abcbf7cdd0924ea8f88c6dd881c08325b34331f", kill_on_drop: false }`
[INFO] [stdout] 577ffc56a45602f71052be662abcbf7cdd0924ea8f88c6dd881c08325b34331f
